#!/bin/bash

BLOCKS="1 2 4 8 16 32"
THREADS="1"

RUN_EXPERIMENT=./run_experiment.sh
REPETITIONS=1

#FILES="*.cnf"
#FILES="factoring_6_13_without_unary.cnf"
FILES="subsetsum_random_4_5_without_unary.cnf"
#FILES="factoring_6_13_without_unary.cnf hole6.cnf subsetsum_random_4_5_without_unary.cnf sum_unsat_without_unary.cnf"

for rep in $(seq 1 $REPETITIONS)
do
	for file in $FILES
	do
		for block in $BLOCKS
		do
			for thread in $THREADS
			do
				$RUN_EXPERIMENT $file $block $thread
			done
		done
	done
done
